Logical Analysis of Our Proof
نویسندگان
چکیده
The NSP is formulated in Eq. ( 1.1 ).
منابع مشابه
A Logical Analysis of Burdens of Proof
The legal concept of burden of proof is notoriously complex and ambiguous. Various kinds of burdens of proof have been distinguished, such as the burden of persuasion, burden of production and tactical burden of proof, and these notions have been described by different scholars in different ways. They have also been linked in various ways with notions like presumptions, standards of proof, and ...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملLogical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of her assumptions. In this paper we suggest the following Logical Omniscience Test (LOT): an epistemic system E is not logically omniscient if for any valid in E knowledge assertion A of type ‘F is known’ there is a proof...
متن کاملLogical Closure Properties of Propositional Proof Systems
In this paper we define and investigate basic logical closure properties of propositional proof systems such as closure of arbitrary proof systems under modus ponens or substitutions. As our main result we obtain a purely logical characterization of the degrees of schematic extensions of EF in terms of a simple combination of these properties. This result underlines the empirical evidence that ...
متن کاملA Proof-Theoretic Account of Logical Relations
Proofs by logical relations (a.k.a. Tait’s method) are useful for demonstrating foundational properties of typed λ-calculi. Unfortunately, because the definition of a logical relation typically relies on set-theoretic machinery, these proofs are notoriously difficult to formalize in machine-checkable detail. Our notion of logical relation is defined in terms of the provability of a class of fir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthesis Lectures on Mathematics and Statistics
سال: 2023
ISSN: ['1938-1743', '1938-1751']
DOI: https://doi.org/10.1007/978-3-031-30723-2_8